| Model: | haddad-monmege v.1 (DTMC) |
| Parameter(s) | N = 100, p = 0.7 |
| Property: | target (prob-reach) |
java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files haddad-monmege.pm --model-input-type prism --property-input-files haddad-monmege.prctl --property-input-names target --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const N=100,p=0.7
| Walltime: | 1.0652172565460205s |
| Return code: | 1 |
assertions-disabled start-parsing done-parsing
line: 1, column: 3: Syntax error at "?"